Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Architectural Connectors for Sequence Diagrams

Fernando Orejas, Sonia Pérez
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 375 KB
english, 2008
5

Dual Systems of Tableaux and Sequents for PLTL

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2009
Мова:
english
Файл:
PDF, 806 KB
english, 2009
6

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6603 ||

Giannakopoulou, Dimitra, Orejas, Fernando
Рік:
2011
Мова:
english
Файл:
PDF, 8.61 MB
english, 2011
9

Even more on advice on structuring compilers and proving them correct

Orejas, Fernando
Журнал:
ACM SIGPLAN Notices
Рік:
1981
Мова:
english
Файл:
PDF, 193 KB
english, 1981
15

Diagnostic workup of renal disorders

Fernando Santos, Gonzalo Orejas, John W. Foreman, James C.M. Chan
Журнал:
Current Problems in Pediatric and Adolescent Health Care
Рік:
1991
Мова:
english
Файл:
PDF, 2.94 MB
english, 1991
16

Efficient Detection of Conflicts in Graph-based Model Transformation

Leen Lambers, Hartmut Ehrig, Fernando Orejas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 340 KB
english, 2006
19

Towards Component Verification in the Generic Component Framework

Julia Padberg, Hartmut Ehrig, Fernando Orejas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 578 KB
english, 2009
20

Preface

Paqui Lucio, Fernando Orejas
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 99 KB
english, 2007
21

Symbolic graphs for attributed graph constraints

Fernando Orejas
Журнал:
Journal of Symbolic Computation
Рік:
2011
Мова:
english
Файл:
PDF, 607 KB
english, 2011
22

Preface

Fernando Orejas, Jan van Leeuwen
Журнал:
Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 113 KB
english, 2005
23

Institutions for logic programming

Fernando Orejas, Elvira Pino, Hartmut Ehrig
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 1.82 MB
english, 1997
26

Components for Algebra Transformation Systems

Fernando Orejas, Hartmut Ehrig
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 723 KB
english, 2003
28

Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

Marisa Navarro, Fernando Orejas, Jean-Luc Remy
Журнал:
Acta Informatica
Рік:
1993
Мова:
english
Файл:
PDF, 1.73 MB
english, 1993
29

Reasoning with graph constraints

Fernando Orejas, Hartmut Ehrig, Ulrike Prange
Журнал:
Formal Aspects of Computing
Рік:
2010
Мова:
english
Файл:
PDF, 443 KB
english, 2010
30

On the correctness of modular systems

Marisa Navarro, Fernando Orejas, Ana Sánchez
Журнал:
Theoretical Computer Science
Рік:
1995
Мова:
english
Файл:
PDF, 2.45 MB
english, 1995
32

Thirty years of algebraic specification

Fernando Orejas
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2006
Мова:
english
Файл:
PDF, 37 KB
english, 2006
33

Semantics of structured normal logic programs

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2012
Мова:
english
Файл:
PDF, 606 KB
english, 2012
36

Invariant-Free Clausal Temporal Resolution

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Журнал:
Journal of Automated Reasoning
Рік:
2013
Мова:
english
Файл:
PDF, 1.08 MB
english, 2013
44

Inter-modelling with patterns

Esther Guerra,Juan de Lara,Fernando Orejas
Журнал:
Software & Systems Modeling
Рік:
2013
Мова:
english
Файл:
PDF, 2.30 MB
english, 2013
46

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2076 ||

Orejas, Fernando, Spirakis, Paul G., van Leeuwen, Jan
Рік:
2001
Мова:
english
Файл:
PDF, 10.21 MB
english, 2001